Wir konnten keine exakten Treffer zu Ihrer Suche nach "Formal Methods of Computing" finden. Könnten diese Produkte zu Ihrer Suche passen?

Ansicht:
: The Application of Formal Methods, Buch

The Application of Formal Methods

Lecture Notes in Computer Science -Band 14900

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
: The Practice of Formal Methods, Buch

The Practice of Formal Methods

Lecture Notes in Computer Science -Band 14780

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
: The Practice of Formal Methods, Buch

The Practice of Formal Methods

Lecture Notes in Computer Science -Band 14781

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
Guo-Qiang Zhang: Formal Methods for the Analysis of Biomedical Ontologies, Buch

Guo-Qiang Zhang, Licong Cui, Rashmie Abeysinghe
Formal Methods for the Analysis of Biomedical Ontologies

Synthesis Lectures on Data, Semantics, and Knowledge

The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almos…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Artikel ist im Warenkorb
Valery Dugwald: Secrets of Cloud Computing, Buch

Valery Dugwald
Secrets of Cloud Computing

The first thing to mention is that cloud computing models are not owned by consumers, but rather rented or paid for as needed. Although this may appear to be a loss of control, the other points outweigh t…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 14,11*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.